1. Coordination Models and Languages :
پدیدآورنده: Hanne Riis Nielson, Emilio Tuosto (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing, Congresses.,Software architecture, Congresses.,Computer network architectures.,Computer science.,Electronic data processing-- Distributed processing.,Operating systems (Computers),Software architecture.,Software engineering.
رده :
QA76
.
758
2. Formal methods :
پدیدآورنده: Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019
3. Programming Languages and Systems -- ESOP '96 :
پدیدآورنده: edited by Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
4. Programming languages and systems, ESOP '96 : 6th European Symposium on Programming Linkoping, Sweden, April 22-24,1996 : proceedings
پدیدآورنده: Hanne Riis Nielson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1058
5. Secure IT Systems
پدیدآورنده: / Hanne Riis Nielson, Dieter Gollmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
6. Secure IT systems :
پدیدآورنده: Hanne Riis Nielson [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computersicherheit,Datensicherung,Kryptoanalyse
رده :
QA76
.
9
.
A25
H366
2013
7. Semantics with application; a formal introduction
پدیدآورنده: Nielson, Hanne Riis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Demantics
رده :
401
N669s
8. Semantics with applications
پدیدآورنده: / Hanne Riis Nielson and Flemming Nielson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
N543
,
2007
9. Semantics with applications: a formal introduction
پدیدآورنده: Nielson, Hanne Riis, 4591-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Programming languages )Electronic computers(- Semantics
رده :
QA76
.
7
.
N541992
10. Two-level functional languages /
پدیدآورنده: Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
رده :
QA76
.
62
.
N54
1992
